direct product of algebras

代数的直积